Automatic Test Case Generation of the Behavior of Communication Software Systems

This paper addresses the problem of automatically generating test cases of the behavior of communication software systems, the protocols, which are usually specified in Extended Finite State Machines. The specification technique Statecharts is considered here for specifying the protocol behavior with the objective of using its descriptive power of the hierarchy, orthogonality and synchronization features. To deal with the state explosion problem a strategy is proposed for test generation in steps (separated phases) based on the concepts of independent and synchronizing transitions. Another topic of study is related to the formal aspects of the specification into matrix algebra and Kronecker operators. Both the proposed strategy and mapping of the specification into matrix algebra are in the initial phase.